The Free On-line Dictionary of Computing (30 December 2018):

deductive database

    A combination of a conventional database
   containing facts, a knowledge base containing rules, and
   an inference engine which allows the derivation of
   information implied by the facts and rules.

   Commonly, the knowledge base is expressed in a subset of
   first-order logic and either a SLDNF or Datalog
   inference engine is used.

   (1995-04-27)